#! /bin/csh -f
./geometer Theorems/misc/lens.T
